∀mに対して、m(n) < m(n+1)